1. Mathematical logic in Latin America
المؤلف: / edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa. -
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses
رده :
QA
,
9
,.
A1
,
L37
,
1978
2. Mathematical logic in Latin America :
المؤلف: edited by A. I. Arruda, R. Chuaqui, N. C. A. da Costa
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical-- Congresses
رده :
QA9
.
A1
L37
1978
3. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
المؤلف: edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
4. #Non-classical logics, model theory, and computability
المؤلف: #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
المکتبة: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع: Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
5. Non-classical logics, model theory, and computability
المؤلف: / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses
رده :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
6. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
المؤلف: edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
